3.191 \(\int \frac {(A+B \sin (e+f x)) \sqrt {c-c \sin (e+f x)}}{(a+a \sin (e+f x))^{5/2}} \, dx\)

Optimal. Leaf size=94 \[ -\frac {c (A-B) \cos (e+f x)}{2 f (a \sin (e+f x)+a)^{5/2} \sqrt {c-c \sin (e+f x)}}-\frac {B c \cos (e+f x)}{a f (a \sin (e+f x)+a)^{3/2} \sqrt {c-c \sin (e+f x)}} \]

[Out]

-1/2*(A-B)*c*cos(f*x+e)/f/(a+a*sin(f*x+e))^(5/2)/(c-c*sin(f*x+e))^(1/2)-B*c*cos(f*x+e)/a/f/(a+a*sin(f*x+e))^(3
/2)/(c-c*sin(f*x+e))^(1/2)

________________________________________________________________________________________

Rubi [A]  time = 0.33, antiderivative size = 94, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.050, Rules used = {2971, 2738} \[ -\frac {c (A-B) \cos (e+f x)}{2 f (a \sin (e+f x)+a)^{5/2} \sqrt {c-c \sin (e+f x)}}-\frac {B c \cos (e+f x)}{a f (a \sin (e+f x)+a)^{3/2} \sqrt {c-c \sin (e+f x)}} \]

Antiderivative was successfully verified.

[In]

Int[((A + B*Sin[e + f*x])*Sqrt[c - c*Sin[e + f*x]])/(a + a*Sin[e + f*x])^(5/2),x]

[Out]

-((A - B)*c*Cos[e + f*x])/(2*f*(a + a*Sin[e + f*x])^(5/2)*Sqrt[c - c*Sin[e + f*x]]) - (B*c*Cos[e + f*x])/(a*f*
(a + a*Sin[e + f*x])^(3/2)*Sqrt[c - c*Sin[e + f*x]])

Rule 2738

Int[Sqrt[(a_) + (b_.)*sin[(e_.) + (f_.)*(x_)]]*((c_) + (d_.)*sin[(e_.) + (f_.)*(x_)])^(n_), x_Symbol] :> Simp[
(-2*b*Cos[e + f*x]*(c + d*Sin[e + f*x])^n)/(f*(2*n + 1)*Sqrt[a + b*Sin[e + f*x]]), x] /; FreeQ[{a, b, c, d, e,
f, n}, x] && EqQ[b*c + a*d, 0] && EqQ[a^2 - b^2, 0] && NeQ[n, -2^(-1)]

Rule 2971

Int[Sqrt[(a_.) + (b_.)*sin[(e_.) + (f_.)*(x_)]]*((A_.) + (B_.)*sin[(e_.) + (f_.)*(x_)])*((c_) + (d_.)*sin[(e_.
) + (f_.)*(x_)])^(n_), x_Symbol] :> Dist[B/d, Int[Sqrt[a + b*Sin[e + f*x]]*(c + d*Sin[e + f*x])^(n + 1), x], x
] - Dist[(B*c - A*d)/d, Int[Sqrt[a + b*Sin[e + f*x]]*(c + d*Sin[e + f*x])^n, x], x] /; FreeQ[{a, b, c, d, e, f
, A, B, n}, x] && EqQ[b*c + a*d, 0] && EqQ[a^2 - b^2, 0]

Rubi steps

\begin {align*} \int \frac {(A+B \sin (e+f x)) \sqrt {c-c \sin (e+f x)}}{(a+a \sin (e+f x))^{5/2}} \, dx &=\frac {B \int \frac {\sqrt {c-c \sin (e+f x)}}{(a+a \sin (e+f x))^{3/2}} \, dx}{a}-(-A+B) \int \frac {\sqrt {c-c \sin (e+f x)}}{(a+a \sin (e+f x))^{5/2}} \, dx\\ &=-\frac {(A-B) c \cos (e+f x)}{2 f (a+a \sin (e+f x))^{5/2} \sqrt {c-c \sin (e+f x)}}-\frac {B c \cos (e+f x)}{a f (a+a \sin (e+f x))^{3/2} \sqrt {c-c \sin (e+f x)}}\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]  time = 0.51, size = 99, normalized size = 1.05 \[ -\frac {\sqrt {a (\sin (e+f x)+1)} \sqrt {c-c \sin (e+f x)} (A+2 B \sin (e+f x)+B)}{2 a^3 f \left (\cos \left (\frac {1}{2} (e+f x)\right )-\sin \left (\frac {1}{2} (e+f x)\right )\right ) \left (\sin \left (\frac {1}{2} (e+f x)\right )+\cos \left (\frac {1}{2} (e+f x)\right )\right )^5} \]

Antiderivative was successfully verified.

[In]

Integrate[((A + B*Sin[e + f*x])*Sqrt[c - c*Sin[e + f*x]])/(a + a*Sin[e + f*x])^(5/2),x]

[Out]

-1/2*(Sqrt[a*(1 + Sin[e + f*x])]*(A + B + 2*B*Sin[e + f*x])*Sqrt[c - c*Sin[e + f*x]])/(a^3*f*(Cos[(e + f*x)/2]
- Sin[(e + f*x)/2])*(Cos[(e + f*x)/2] + Sin[(e + f*x)/2])^5)

________________________________________________________________________________________

fricas [A]  time = 0.43, size = 85, normalized size = 0.90 \[ \frac {{\left (2 \, B \sin \left (f x + e\right ) + A + B\right )} \sqrt {a \sin \left (f x + e\right ) + a} \sqrt {-c \sin \left (f x + e\right ) + c}}{2 \, {\left (a^{3} f \cos \left (f x + e\right )^{3} - 2 \, a^{3} f \cos \left (f x + e\right ) \sin \left (f x + e\right ) - 2 \, a^{3} f \cos \left (f x + e\right )\right )}} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*sin(f*x+e))*(c-c*sin(f*x+e))^(1/2)/(a+a*sin(f*x+e))^(5/2),x, algorithm="fricas")

[Out]

1/2*(2*B*sin(f*x + e) + A + B)*sqrt(a*sin(f*x + e) + a)*sqrt(-c*sin(f*x + e) + c)/(a^3*f*cos(f*x + e)^3 - 2*a^
3*f*cos(f*x + e)*sin(f*x + e) - 2*a^3*f*cos(f*x + e))

________________________________________________________________________________________

giac [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*sin(f*x+e))*(c-c*sin(f*x+e))^(1/2)/(a+a*sin(f*x+e))^(5/2),x, algorithm="giac")

[Out]

Timed out

________________________________________________________________________________________

maple [A]  time = 0.66, size = 135, normalized size = 1.44 \[ -\frac {\sin \left (f x +e \right ) \sqrt {-c \left (\sin \left (f x +e \right )-1\right )}\, \left (A \left (\cos ^{2}\left (f x +e \right )\right )+A \sin \left (f x +e \right ) \cos \left (f x +e \right )+B \left (\cos ^{2}\left (f x +e \right )\right )+B \sin \left (f x +e \right ) \cos \left (f x +e \right )+2 A \cos \left (f x +e \right )-3 A \sin \left (f x +e \right )-B \sin \left (f x +e \right )-3 A -B \right )}{2 f \left (a \left (1+\sin \left (f x +e \right )\right )\right )^{\frac {5}{2}} \left (-1+\cos \left (f x +e \right )+\sin \left (f x +e \right )\right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((A+B*sin(f*x+e))*(c-c*sin(f*x+e))^(1/2)/(a+a*sin(f*x+e))^(5/2),x)

[Out]

-1/2/f*sin(f*x+e)*(-c*(sin(f*x+e)-1))^(1/2)*(A*cos(f*x+e)^2+A*sin(f*x+e)*cos(f*x+e)+B*cos(f*x+e)^2+B*sin(f*x+e
)*cos(f*x+e)+2*A*cos(f*x+e)-3*A*sin(f*x+e)-B*sin(f*x+e)-3*A-B)/(a*(1+sin(f*x+e)))^(5/2)/(-1+cos(f*x+e)+sin(f*x
+e))

________________________________________________________________________________________

maxima [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {{\left (B \sin \left (f x + e\right ) + A\right )} \sqrt {-c \sin \left (f x + e\right ) + c}}{{\left (a \sin \left (f x + e\right ) + a\right )}^{\frac {5}{2}}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*sin(f*x+e))*(c-c*sin(f*x+e))^(1/2)/(a+a*sin(f*x+e))^(5/2),x, algorithm="maxima")

[Out]

integrate((B*sin(f*x + e) + A)*sqrt(-c*sin(f*x + e) + c)/(a*sin(f*x + e) + a)^(5/2), x)

________________________________________________________________________________________

mupad [B]  time = 14.86, size = 156, normalized size = 1.66 \[ -\frac {2\,\sqrt {-c\,\left (\sin \left (e+f\,x\right )-1\right )}\,\left (A\,\sin \left (2\,e+2\,f\,x\right )+3\,B\,\sin \left (2\,e+2\,f\,x\right )-2\,A\,\left (2\,{\sin \left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2-1\right )-3\,B\,\left (2\,{\sin \left (\frac {e}{2}+\frac {f\,x}{2}\right )}^2-1\right )+B\,\left (2\,{\sin \left (\frac {3\,e}{2}+\frac {3\,f\,x}{2}\right )}^2-1\right )\right )}{a^2\,f\,\sqrt {a\,\left (\sin \left (e+f\,x\right )+1\right )}\,\left (-8\,{\sin \left (e+f\,x\right )}^2+4\,\sin \left (e+f\,x\right )+2\,{\sin \left (2\,e+2\,f\,x\right )}^2+4\,\sin \left (3\,e+3\,f\,x\right )+8\right )} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(((A + B*sin(e + f*x))*(c - c*sin(e + f*x))^(1/2))/(a + a*sin(e + f*x))^(5/2),x)

[Out]

-(2*(-c*(sin(e + f*x) - 1))^(1/2)*(A*sin(2*e + 2*f*x) + 3*B*sin(2*e + 2*f*x) - 2*A*(2*sin(e/2 + (f*x)/2)^2 - 1
) - 3*B*(2*sin(e/2 + (f*x)/2)^2 - 1) + B*(2*sin((3*e)/2 + (3*f*x)/2)^2 - 1)))/(a^2*f*(a*(sin(e + f*x) + 1))^(1
/2)*(4*sin(e + f*x) + 4*sin(3*e + 3*f*x) + 2*sin(2*e + 2*f*x)^2 - 8*sin(e + f*x)^2 + 8))

________________________________________________________________________________________

sympy [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\sqrt {- c \left (\sin {\left (e + f x \right )} - 1\right )} \left (A + B \sin {\left (e + f x \right )}\right )}{\left (a \left (\sin {\left (e + f x \right )} + 1\right )\right )^{\frac {5}{2}}}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((A+B*sin(f*x+e))*(c-c*sin(f*x+e))**(1/2)/(a+a*sin(f*x+e))**(5/2),x)

[Out]

Integral(sqrt(-c*(sin(e + f*x) - 1))*(A + B*sin(e + f*x))/(a*(sin(e + f*x) + 1))**(5/2), x)

________________________________________________________________________________________